Push the specified value onto the back of the list for each attribute if and
only if the \code{checks} hold on the object.
\input{\topdir/client/fragments/fail_if_not_found}

\input{\topdir/client/fragments/conditional}
